<HTML><HEAD><TITLE>get_solver_type(?Var, -Type)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(ic)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>get_solver_type(?Var, -Type)</H1>
Retrieve the type of a variable.
<DL>
<DT><EM>Var</EM></DT>
<DD>A variable or a number
</DD>
<DT><EM>Type</EM></DT>
<DD>Type of Var (real or integer)
</DD>
</DL>
<H2>Description</H2>
<P>
   Retrieve the type (the atom 'real' or the atom 'integer') of a variable
   (or number).  If Var has not been declared before, it will be turned into
   an unrestricted real variable.  If Var is a ground number, the type
   returned will be appropriate for its type (i.e. if it's not an integer,
   the type returned will be real).</P>

<H3>Modes and Determinism</H3><UL>
<LI>get_solver_type(?, -) is semidet
</UL>
<H3>Fail Conditions</H3>
Var is not a variable or a number.

</BODY></HTML>
